Replicated Data Consistency Explained Through Baseball Doug Terry Microsoft Research Silicon Valley MSR Technical Report October 2011

Source URL: research.microsoft.com

• Structured storage
• Consistency model
• Data management
• Amazon SimpleDB
• NoSQL
• Eventual consistency
• Data consistency
• Replication
• Weak consistency
• Computing
• Data
• Transaction processing

Supplemental Appendix for “Block bootstrap consistency under weak assumptions” Gray Calhoun∗ 6 October, 2014 Abstract

Source URL: gray.clhn.org

• Modular forms
• Elliptic functions

Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions by Atul Adya Submitted to the Department of Electrical Engineering and Computer Science

Source URL: publications.csail.mit.edu

Replicated Data Consistency Explained Through Baseball Doug Terry Microsoft Research Silicon Valley MSR Technical Report October 2011

Source URL: pages.cs.wisc.edu

• Structured storage
• Consistency model
• Data management
• Amazon SimpleDB
• NoSQL
• Eventual consistency
• Data consistency
• Replication
• Weak consistency
• Computing
• Data
• Transaction processing

Combining Generality and Practicality in a Conit-Based Continuous Consistency Model for Wide-Area Replication Haifeng Yu Computer Science Department Duke University Durham, NC

Source URL: www.comp.nus.edu.sg

• Transaction processing
• Database management systems
• Consistency model
• Fault-tolerant computer systems
• Data synchronization
• Database
• Weak consistency
• Concurrency control
• Replication
• Computing
• Data management
• Data

Bulk Disambiguation of Speculative Threads in Multiprocessors Luis Ceze, University of Washington sa pa

Source URL: www.nii.ac.jp

• Concurrent computing
• Parallel computing
• Linearizability
• Consistency model
• Thread
• Concurrency
• Scalability
• Microarchitecture
• Weak consistency
• Computing
• Transaction processing
• Computer architecture

A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs∗ Jimmy H.M. Lee & Terrence W.K. Mak Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T.,

Source URL: www.tmak.info

• Artificial intelligence
• Game artificial intelligence
• Search algorithms
• Constraint satisfaction problem
• Heuristic function
• Alpha-beta pruning
• Local consistency
• Minimax
• Heuristic
• Constraint programming
• Mathematics
• Theoretical computer science

Constraints manuscript No. (will be inserted by the editor) Ultra-Weak Solutions and Consistency Enforcement in Minimax Weighted Constraint Satisfaction Arnaud Lallouet · Jimmy H.M. Lee · Terrence

Source URL: www.tmak.info

• Applied mathematics
• Constraint satisfaction problem
• Local consistency
• Constraint optimization
• Minimax
• Constraint satisfaction
• Linear programming
• Alpha-beta pruning
• Search algorithm
• Constraint programming
• Mathematics
• Theoretical computer science

Hamming embedding and weak geometric consistency for large scale image search Herve Jegou, Matthijs Douze, and Cordelia Schmid INRIA Grenoble, LEAR, LJK [removed]

Source URL: lear.inrialpes.fr

• Image processing
• Search algorithms
• Vision
• Visual descriptors
• Nearest neighbor search
• Feature
• K-nearest neighbor algorithm
• Image retrieval
• Locality-sensitive hashing
• Information science
• Artificial intelligence
• Computer vision

Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat

Source URL: gazagnaire.org

• Functional languages
• OCaml
• Caml
• International Conference on Functional Programming
• ML
• Virtual machine
• Cloud computing
• Reactive programming
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Computing
• Software engineering
• Computer programming